INTERPRETING A FIELD IN ITS HEISENBERG GROUP
نویسندگان
چکیده
We improve on and generalize a 1960 result of Maltsev. For field $F$, we denote by $H(F)$ the Heisenberg group with entries in $F$. Maltsev showed that there is copy $F$ defined $H(F)$, using existential formulas an arbitrary non-commuting pair $(u,v)$ as parameters. show interpreted computable $\Sigma_1$ no give two proofs. The first existence proof, relying Harrison-Trainor, Melnikov, R. Miller, Montalb\'an. This proof allows possibility elements are represented tuples fixed arity. second direct, giving explicit finitary define interpretation, triples $H(F)$. Looking at what was used to arrive this parameter-free interpretation general conditions sufficient eliminate parameters from interpretations.
منابع مشابه
Interpreting Heisenberg Interpreting Quantum States
The paper investigates possible readings of the later Heisenberg's remarks on the nature of quantum states. It discusses, in particular, whether Heisenberg should be seen as a proponent of the epistemic conception of states---the view that quantum states are not descriptions of quantum systems but rather reflect the state assigning observers' epistemic relations to these systems. On the one han...
متن کاملThe Heisenberg Group and Conformal Field Theory
A mathematical construction of the conformal field theory (CFT) associated to a compact torus, also called the “nonlinear σ-model” or “lattice-CFT”, is given. Underlying this approach to CFT is a unitary modular functor, the construction of which follows from a “Quantization commutes with reduction”type of theorem for unitary quantizations of the moduli spaces of holomorphic torusbundles and ac...
متن کاملCharacterizing the Multiplicative Group of a Real Closed Field in Terms of its Divisible Maximal Subgroup
متن کامل
Discrete Heisenberg-Weyl Group and Modular Group
It is shown that the generators of two discrete Heisenberg-Weyl groups with irrational rotation numbers θ and −1/θ generate the whole algebra B of bounded operators on L2(R). The natural action of the modular group in B is implied. Applications to dynamical algebras appearing in lattice regularization and some duality principles are discussed. Writing a contribution to a memorial volume one alw...
متن کاملInterpreting Effective Field Theories
An effective field theory (EFT) is a theory of the dynamics of a physical system at energies small compared to a given cut-off. Low-energy states with respect to this cut-off are effectively independent of states at high energies; hence one may study the low-energy dynamics without the need for a detailed description of the high-energy dynamics. Many authors have suggested that, because of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2021
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2021.107